home *** CD-ROM | disk | FTP | other *** search
/ CD ROM Paradise Collection 4 / CD ROM Paradise Collection 4 1995 Nov.iso / misc / wclass20.zip / EIFFEL1.SCT < prev    next >
Text File  |  1995-01-17  |  2KB  |  59 lines
  1. class CLASS [NO_REPEAT inherit BASE_CLASS]
  2.   --rename
  3.   --export {NONE} all end
  4.   --redefine
  5.  
  6. creation
  7.   make$CLASS,
  8.   initialize$CLASS
  9.  
  10. feature
  11.   
  12.   [ATTRIBUTE_NAME : ATTRIBUTE_TYPE  ]
  13.   [ASSOCIATION_ONE_NAME : ASSOCIATION_ONE_CLASS  ]
  14.   [AGGREGATION_ONE_NAME : AGGREGATION_ONE_CLASS  ]
  15.   [ASSOCIATION_MANY_NAME : ARRAY LITERAL_SYMBOL[ ASSOCIATION_MANY_CLASS LITERAL_SYMBOL]  ]
  16.   [AGGREGATION_MANY_NAME : ARRAY LITERAL_SYMBOL[ AGGREGATION_MANY_CLASS LITERAL_SYMBOL]  ]
  17.  
  18.   make$CLASS is
  19.   do
  20.     [ATTRIBUTE_NAME := ATTRIBUTE_INITIAL_VALUE  ]
  21.     [!!ASSOCIATION_ONE_NAME$.make$ASSOCIATION_ONE_CLASS ]
  22.     [!!AGGREGATION_ONE_NAME$.make$AGGREGATION_ONE_CLASS ]
  23.     [!!ASSOCIATION_MANY_NAME$.make (0, 10) ]
  24.     [!!AGGREGATION_MANY_NAME$.make (0, 10) ]
  25.  
  26.   end  -- make$CLASS
  27.   ------------------------------------------------------------------------
  28.   initialize$CLASS ([a_$ATTRIBUTE_NAME : ATTRIBUTE_TYPE DELETE_LAST_SYMBOL;] ) is
  29.   do
  30.     [ATTRIBUTE_NAME := a_$ATTRIBUTE_NAME
  31.     ]
  32.   end  -- initialize$CLASS
  33.     
  34.   [----------------------------------------------------------------------
  35.   OPERATION_NAME PASCAL_OPERATION_PARAMETERS_PAREN PASCAL_OPERATION_RETURN_TYPE is
  36.   --OPERATION_COMMENT_1
  37.   --OPERATION_COMMENT_2
  38.   --OPERATION_COMMENT_3
  39.   --require OPERATION_PRECONDITION
  40.   --local
  41.   do OPERATION_TRANSFORMATION
  42.   --ensure OPERATION_POSTCONDITION
  43.   --rescue
  44.   end -- OPERATION_NAME
  45.   ]
  46.   
  47.   [------------------------------------------------------------------------
  48.   set_$ATTRIBUTE_NAME (a_$ATTRIBUTE_NAME : ATTRIBUTE_TYPE$) is
  49.    do
  50.      ATTRIBUTE_NAME := a_$ATTRIBUTE_NAME
  51.    end 
  52.   ]
  53. ---------------------------------------------------------------------------  
  54. feature {NONE}
  55.  
  56. --invariant CLASS_INVARIANT
  57.  
  58. end -- class CLASS
  59.